3.143 \(\int \frac {x^7}{a+b x^3+c x^6} \, dx\)

Optimal. Leaf size=636 \[ -\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \log \left (-\sqrt [3]{2} \sqrt [3]{c} x \sqrt [3]{b-\sqrt {b^2-4 a c}}+\left (b-\sqrt {b^2-4 a c}\right )^{2/3}+2^{2/3} c^{2/3} x^2\right )}{6\ 2^{2/3} c^{5/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}}-\frac {\left (\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}+b\right ) \log \left (-\sqrt [3]{2} \sqrt [3]{c} x \sqrt [3]{\sqrt {b^2-4 a c}+b}+\left (\sqrt {b^2-4 a c}+b\right )^{2/3}+2^{2/3} c^{2/3} x^2\right )}{6\ 2^{2/3} c^{5/3} \sqrt [3]{\sqrt {b^2-4 a c}+b}}+\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \log \left (\sqrt [3]{b-\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3\ 2^{2/3} c^{5/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}}+\frac {\left (\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}+b\right ) \log \left (\sqrt [3]{\sqrt {b^2-4 a c}+b}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3\ 2^{2/3} c^{5/3} \sqrt [3]{\sqrt {b^2-4 a c}+b}}+\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{b-\sqrt {b^2-4 a c}}}}{\sqrt {3}}\right )}{2^{2/3} \sqrt {3} c^{5/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}}+\frac {\left (\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}+b\right ) \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{\sqrt {b^2-4 a c}+b}}}{\sqrt {3}}\right )}{2^{2/3} \sqrt {3} c^{5/3} \sqrt [3]{\sqrt {b^2-4 a c}+b}}+\frac {x^2}{2 c} \]

[Out]

1/2*x^2/c+1/6*ln(2^(1/3)*c^(1/3)*x+(b-(-4*a*c+b^2)^(1/2))^(1/3))*(b+(2*a*c-b^2)/(-4*a*c+b^2)^(1/2))*2^(1/3)/c^
(5/3)/(b-(-4*a*c+b^2)^(1/2))^(1/3)-1/12*ln(2^(2/3)*c^(2/3)*x^2-2^(1/3)*c^(1/3)*x*(b-(-4*a*c+b^2)^(1/2))^(1/3)+
(b-(-4*a*c+b^2)^(1/2))^(2/3))*(b+(2*a*c-b^2)/(-4*a*c+b^2)^(1/2))*2^(1/3)/c^(5/3)/(b-(-4*a*c+b^2)^(1/2))^(1/3)+
1/6*arctan(1/3*(1-2*2^(1/3)*c^(1/3)*x/(b-(-4*a*c+b^2)^(1/2))^(1/3))*3^(1/2))*(b+(2*a*c-b^2)/(-4*a*c+b^2)^(1/2)
)*2^(1/3)/c^(5/3)*3^(1/2)/(b-(-4*a*c+b^2)^(1/2))^(1/3)+1/6*ln(2^(1/3)*c^(1/3)*x+(b+(-4*a*c+b^2)^(1/2))^(1/3))*
(b+(-2*a*c+b^2)/(-4*a*c+b^2)^(1/2))*2^(1/3)/c^(5/3)/(b+(-4*a*c+b^2)^(1/2))^(1/3)-1/12*ln(2^(2/3)*c^(2/3)*x^2-2
^(1/3)*c^(1/3)*x*(b+(-4*a*c+b^2)^(1/2))^(1/3)+(b+(-4*a*c+b^2)^(1/2))^(2/3))*(b+(-2*a*c+b^2)/(-4*a*c+b^2)^(1/2)
)*2^(1/3)/c^(5/3)/(b+(-4*a*c+b^2)^(1/2))^(1/3)+1/6*arctan(1/3*(1-2*2^(1/3)*c^(1/3)*x/(b+(-4*a*c+b^2)^(1/2))^(1
/3))*3^(1/2))*(b+(-2*a*c+b^2)/(-4*a*c+b^2)^(1/2))*2^(1/3)/c^(5/3)*3^(1/2)/(b+(-4*a*c+b^2)^(1/2))^(1/3)

________________________________________________________________________________________

Rubi [A]  time = 1.25, antiderivative size = 636, normalized size of antiderivative = 1.00, number of steps used = 14, number of rules used = 8, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.444, Rules used = {1367, 1510, 292, 31, 634, 617, 204, 628} \[ -\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \log \left (-\sqrt [3]{2} \sqrt [3]{c} x \sqrt [3]{b-\sqrt {b^2-4 a c}}+\left (b-\sqrt {b^2-4 a c}\right )^{2/3}+2^{2/3} c^{2/3} x^2\right )}{6\ 2^{2/3} c^{5/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}}-\frac {\left (\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}+b\right ) \log \left (-\sqrt [3]{2} \sqrt [3]{c} x \sqrt [3]{\sqrt {b^2-4 a c}+b}+\left (\sqrt {b^2-4 a c}+b\right )^{2/3}+2^{2/3} c^{2/3} x^2\right )}{6\ 2^{2/3} c^{5/3} \sqrt [3]{\sqrt {b^2-4 a c}+b}}+\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \log \left (\sqrt [3]{b-\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3\ 2^{2/3} c^{5/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}}+\frac {\left (\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}+b\right ) \log \left (\sqrt [3]{\sqrt {b^2-4 a c}+b}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3\ 2^{2/3} c^{5/3} \sqrt [3]{\sqrt {b^2-4 a c}+b}}+\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{b-\sqrt {b^2-4 a c}}}}{\sqrt {3}}\right )}{2^{2/3} \sqrt {3} c^{5/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}}+\frac {\left (\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}+b\right ) \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{\sqrt {b^2-4 a c}+b}}}{\sqrt {3}}\right )}{2^{2/3} \sqrt {3} c^{5/3} \sqrt [3]{\sqrt {b^2-4 a c}+b}}+\frac {x^2}{2 c} \]

Antiderivative was successfully verified.

[In]

Int[x^7/(a + b*x^3 + c*x^6),x]

[Out]

x^2/(2*c) + ((b - (b^2 - 2*a*c)/Sqrt[b^2 - 4*a*c])*ArcTan[(1 - (2*2^(1/3)*c^(1/3)*x)/(b - Sqrt[b^2 - 4*a*c])^(
1/3))/Sqrt[3]])/(2^(2/3)*Sqrt[3]*c^(5/3)*(b - Sqrt[b^2 - 4*a*c])^(1/3)) + ((b + (b^2 - 2*a*c)/Sqrt[b^2 - 4*a*c
])*ArcTan[(1 - (2*2^(1/3)*c^(1/3)*x)/(b + Sqrt[b^2 - 4*a*c])^(1/3))/Sqrt[3]])/(2^(2/3)*Sqrt[3]*c^(5/3)*(b + Sq
rt[b^2 - 4*a*c])^(1/3)) + ((b - (b^2 - 2*a*c)/Sqrt[b^2 - 4*a*c])*Log[(b - Sqrt[b^2 - 4*a*c])^(1/3) + 2^(1/3)*c
^(1/3)*x])/(3*2^(2/3)*c^(5/3)*(b - Sqrt[b^2 - 4*a*c])^(1/3)) + ((b + (b^2 - 2*a*c)/Sqrt[b^2 - 4*a*c])*Log[(b +
Sqrt[b^2 - 4*a*c])^(1/3) + 2^(1/3)*c^(1/3)*x])/(3*2^(2/3)*c^(5/3)*(b + Sqrt[b^2 - 4*a*c])^(1/3)) - ((b - (b^2
- 2*a*c)/Sqrt[b^2 - 4*a*c])*Log[(b - Sqrt[b^2 - 4*a*c])^(2/3) - 2^(1/3)*c^(1/3)*(b - Sqrt[b^2 - 4*a*c])^(1/3)
*x + 2^(2/3)*c^(2/3)*x^2])/(6*2^(2/3)*c^(5/3)*(b - Sqrt[b^2 - 4*a*c])^(1/3)) - ((b + (b^2 - 2*a*c)/Sqrt[b^2 -
4*a*c])*Log[(b + Sqrt[b^2 - 4*a*c])^(2/3) - 2^(1/3)*c^(1/3)*(b + Sqrt[b^2 - 4*a*c])^(1/3)*x + 2^(2/3)*c^(2/3)*
x^2])/(6*2^(2/3)*c^(5/3)*(b + Sqrt[b^2 - 4*a*c])^(1/3))

Rule 31

Int[((a_) + (b_.)*(x_))^(-1), x_Symbol] :> Simp[Log[RemoveContent[a + b*x, x]]/b, x] /; FreeQ[{a, b}, x]

Rule 204

Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> -Simp[ArcTan[(Rt[-b, 2]*x)/Rt[-a, 2]]/(Rt[-a, 2]*Rt[-b, 2]), x] /
; FreeQ[{a, b}, x] && PosQ[a/b] && (LtQ[a, 0] || LtQ[b, 0])

Rule 292

Int[(x_)/((a_) + (b_.)*(x_)^3), x_Symbol] :> -Dist[(3*Rt[a, 3]*Rt[b, 3])^(-1), Int[1/(Rt[a, 3] + Rt[b, 3]*x),
x], x] + Dist[1/(3*Rt[a, 3]*Rt[b, 3]), Int[(Rt[a, 3] + Rt[b, 3]*x)/(Rt[a, 3]^2 - Rt[a, 3]*Rt[b, 3]*x + Rt[b, 3
]^2*x^2), x], x] /; FreeQ[{a, b}, x]

Rule 617

Int[((a_) + (b_.)*(x_) + (c_.)*(x_)^2)^(-1), x_Symbol] :> With[{q = 1 - 4*Simplify[(a*c)/b^2]}, Dist[-2/b, Sub
st[Int[1/(q - x^2), x], x, 1 + (2*c*x)/b], x] /; RationalQ[q] && (EqQ[q^2, 1] ||  !RationalQ[b^2 - 4*a*c])] /;
FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*a*c, 0]

Rule 628

Int[((d_) + (e_.)*(x_))/((a_.) + (b_.)*(x_) + (c_.)*(x_)^2), x_Symbol] :> Simp[(d*Log[RemoveContent[a + b*x +
c*x^2, x]])/b, x] /; FreeQ[{a, b, c, d, e}, x] && EqQ[2*c*d - b*e, 0]

Rule 634

Int[((d_.) + (e_.)*(x_))/((a_) + (b_.)*(x_) + (c_.)*(x_)^2), x_Symbol] :> Dist[(2*c*d - b*e)/(2*c), Int[1/(a +
b*x + c*x^2), x], x] + Dist[e/(2*c), Int[(b + 2*c*x)/(a + b*x + c*x^2), x], x] /; FreeQ[{a, b, c, d, e}, x] &
& NeQ[2*c*d - b*e, 0] && NeQ[b^2 - 4*a*c, 0] &&  !NiceSqrtQ[b^2 - 4*a*c]

Rule 1367

Int[((d_.)*(x_))^(m_.)*((a_) + (c_.)*(x_)^(n2_.) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Simp[(d^(2*n - 1)*(d*x)
^(m - 2*n + 1)*(a + b*x^n + c*x^(2*n))^(p + 1))/(c*(m + 2*n*p + 1)), x] - Dist[d^(2*n)/(c*(m + 2*n*p + 1)), In
t[(d*x)^(m - 2*n)*Simp[a*(m - 2*n + 1) + b*(m + n*(p - 1) + 1)*x^n, x]*(a + b*x^n + c*x^(2*n))^p, x], x] /; Fr
eeQ[{a, b, c, d, p}, x] && EqQ[n2, 2*n] && NeQ[b^2 - 4*a*c, 0] && IGtQ[n, 0] && GtQ[m, 2*n - 1] && NeQ[m + 2*n
*p + 1, 0] && IntegerQ[p]

Rule 1510

Int[(((f_.)*(x_))^(m_.)*((d_) + (e_.)*(x_)^(n_)))/((a_) + (b_.)*(x_)^(n_) + (c_.)*(x_)^(n2_)), x_Symbol] :> Wi
th[{q = Rt[b^2 - 4*a*c, 2]}, Dist[e/2 + (2*c*d - b*e)/(2*q), Int[(f*x)^m/(b/2 - q/2 + c*x^n), x], x] + Dist[e/
2 - (2*c*d - b*e)/(2*q), Int[(f*x)^m/(b/2 + q/2 + c*x^n), x], x]] /; FreeQ[{a, b, c, d, e, f, m}, x] && EqQ[n2
, 2*n] && NeQ[b^2 - 4*a*c, 0] && IGtQ[n, 0]

Rubi steps

\begin {align*} \int \frac {x^7}{a+b x^3+c x^6} \, dx &=\frac {x^2}{2 c}-\frac {\int \frac {x \left (2 a+2 b x^3\right )}{a+b x^3+c x^6} \, dx}{2 c}\\ &=\frac {x^2}{2 c}-\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \int \frac {x}{\frac {b}{2}-\frac {1}{2} \sqrt {b^2-4 a c}+c x^3} \, dx}{2 c}-\frac {\left (b+\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \int \frac {x}{\frac {b}{2}+\frac {1}{2} \sqrt {b^2-4 a c}+c x^3} \, dx}{2 c}\\ &=\frac {x^2}{2 c}+\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{\frac {\sqrt [3]{b-\sqrt {b^2-4 a c}}}{\sqrt [3]{2}}+\sqrt [3]{c} x} \, dx}{3\ 2^{2/3} c^{4/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}}-\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \int \frac {\frac {\sqrt [3]{b-\sqrt {b^2-4 a c}}}{\sqrt [3]{2}}+\sqrt [3]{c} x}{\frac {\left (b-\sqrt {b^2-4 a c}\right )^{2/3}}{2^{2/3}}-\frac {\sqrt [3]{c} \sqrt [3]{b-\sqrt {b^2-4 a c}} x}{\sqrt [3]{2}}+c^{2/3} x^2} \, dx}{3\ 2^{2/3} c^{4/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}}+\frac {\left (b+\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{\frac {\sqrt [3]{b+\sqrt {b^2-4 a c}}}{\sqrt [3]{2}}+\sqrt [3]{c} x} \, dx}{3\ 2^{2/3} c^{4/3} \sqrt [3]{b+\sqrt {b^2-4 a c}}}-\frac {\left (b+\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \int \frac {\frac {\sqrt [3]{b+\sqrt {b^2-4 a c}}}{\sqrt [3]{2}}+\sqrt [3]{c} x}{\frac {\left (b+\sqrt {b^2-4 a c}\right )^{2/3}}{2^{2/3}}-\frac {\sqrt [3]{c} \sqrt [3]{b+\sqrt {b^2-4 a c}} x}{\sqrt [3]{2}}+c^{2/3} x^2} \, dx}{3\ 2^{2/3} c^{4/3} \sqrt [3]{b+\sqrt {b^2-4 a c}}}\\ &=\frac {x^2}{2 c}+\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \log \left (\sqrt [3]{b-\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3\ 2^{2/3} c^{5/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}}+\frac {\left (b+\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \log \left (\sqrt [3]{b+\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3\ 2^{2/3} c^{5/3} \sqrt [3]{b+\sqrt {b^2-4 a c}}}-\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{\frac {\left (b-\sqrt {b^2-4 a c}\right )^{2/3}}{2^{2/3}}-\frac {\sqrt [3]{c} \sqrt [3]{b-\sqrt {b^2-4 a c}} x}{\sqrt [3]{2}}+c^{2/3} x^2} \, dx}{4 c^{4/3}}-\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \int \frac {-\frac {\sqrt [3]{c} \sqrt [3]{b-\sqrt {b^2-4 a c}}}{\sqrt [3]{2}}+2 c^{2/3} x}{\frac {\left (b-\sqrt {b^2-4 a c}\right )^{2/3}}{2^{2/3}}-\frac {\sqrt [3]{c} \sqrt [3]{b-\sqrt {b^2-4 a c}} x}{\sqrt [3]{2}}+c^{2/3} x^2} \, dx}{6\ 2^{2/3} c^{5/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}}-\frac {\left (b+\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{\frac {\left (b+\sqrt {b^2-4 a c}\right )^{2/3}}{2^{2/3}}-\frac {\sqrt [3]{c} \sqrt [3]{b+\sqrt {b^2-4 a c}} x}{\sqrt [3]{2}}+c^{2/3} x^2} \, dx}{4 c^{4/3}}-\frac {\left (b+\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \int \frac {-\frac {\sqrt [3]{c} \sqrt [3]{b+\sqrt {b^2-4 a c}}}{\sqrt [3]{2}}+2 c^{2/3} x}{\frac {\left (b+\sqrt {b^2-4 a c}\right )^{2/3}}{2^{2/3}}-\frac {\sqrt [3]{c} \sqrt [3]{b+\sqrt {b^2-4 a c}} x}{\sqrt [3]{2}}+c^{2/3} x^2} \, dx}{6\ 2^{2/3} c^{5/3} \sqrt [3]{b+\sqrt {b^2-4 a c}}}\\ &=\frac {x^2}{2 c}+\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \log \left (\sqrt [3]{b-\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3\ 2^{2/3} c^{5/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}}+\frac {\left (b+\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \log \left (\sqrt [3]{b+\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3\ 2^{2/3} c^{5/3} \sqrt [3]{b+\sqrt {b^2-4 a c}}}-\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \log \left (\left (b-\sqrt {b^2-4 a c}\right )^{2/3}-\sqrt [3]{2} \sqrt [3]{c} \sqrt [3]{b-\sqrt {b^2-4 a c}} x+2^{2/3} c^{2/3} x^2\right )}{6\ 2^{2/3} c^{5/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}}-\frac {\left (b+\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \log \left (\left (b+\sqrt {b^2-4 a c}\right )^{2/3}-\sqrt [3]{2} \sqrt [3]{c} \sqrt [3]{b+\sqrt {b^2-4 a c}} x+2^{2/3} c^{2/3} x^2\right )}{6\ 2^{2/3} c^{5/3} \sqrt [3]{b+\sqrt {b^2-4 a c}}}-\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \operatorname {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1-\frac {2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{b-\sqrt {b^2-4 a c}}}\right )}{2^{2/3} c^{5/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}}-\frac {\left (b+\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \operatorname {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1-\frac {2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{b+\sqrt {b^2-4 a c}}}\right )}{2^{2/3} c^{5/3} \sqrt [3]{b+\sqrt {b^2-4 a c}}}\\ &=\frac {x^2}{2 c}+\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{b-\sqrt {b^2-4 a c}}}}{\sqrt {3}}\right )}{2^{2/3} \sqrt {3} c^{5/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}}+\frac {\left (b+\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{b+\sqrt {b^2-4 a c}}}}{\sqrt {3}}\right )}{2^{2/3} \sqrt {3} c^{5/3} \sqrt [3]{b+\sqrt {b^2-4 a c}}}+\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \log \left (\sqrt [3]{b-\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3\ 2^{2/3} c^{5/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}}+\frac {\left (b+\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \log \left (\sqrt [3]{b+\sqrt {b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3\ 2^{2/3} c^{5/3} \sqrt [3]{b+\sqrt {b^2-4 a c}}}-\frac {\left (b-\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \log \left (\left (b-\sqrt {b^2-4 a c}\right )^{2/3}-\sqrt [3]{2} \sqrt [3]{c} \sqrt [3]{b-\sqrt {b^2-4 a c}} x+2^{2/3} c^{2/3} x^2\right )}{6\ 2^{2/3} c^{5/3} \sqrt [3]{b-\sqrt {b^2-4 a c}}}-\frac {\left (b+\frac {b^2-2 a c}{\sqrt {b^2-4 a c}}\right ) \log \left (\left (b+\sqrt {b^2-4 a c}\right )^{2/3}-\sqrt [3]{2} \sqrt [3]{c} \sqrt [3]{b+\sqrt {b^2-4 a c}} x+2^{2/3} c^{2/3} x^2\right )}{6\ 2^{2/3} c^{5/3} \sqrt [3]{b+\sqrt {b^2-4 a c}}}\\ \end {align*}

________________________________________________________________________________________

Mathematica [C]  time = 0.03, size = 70, normalized size = 0.11 \[ \frac {3 x^2-2 \text {RootSum}\left [\text {$\#$1}^6 c+\text {$\#$1}^3 b+a\& ,\frac {\text {$\#$1}^3 b \log (x-\text {$\#$1})+a \log (x-\text {$\#$1})}{2 \text {$\#$1}^4 c+\text {$\#$1} b}\& \right ]}{6 c} \]

Antiderivative was successfully verified.

[In]

Integrate[x^7/(a + b*x^3 + c*x^6),x]

[Out]

(3*x^2 - 2*RootSum[a + b*#1^3 + c*#1^6 & , (a*Log[x - #1] + b*Log[x - #1]*#1^3)/(b*#1 + 2*c*#1^4) & ])/(6*c)

________________________________________________________________________________________

fricas [B]  time = 3.29, size = 5601, normalized size = 8.81 \[ \text {result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(x^7/(c*x^6+b*x^3+a),x, algorithm="fricas")

[Out]

-1/6*(4*sqrt(3)*(1/2)^(1/3)*c*((b^4 - 3*a*b^2*c + a^2*c^2 + (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a
^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^
2*c^5 - 4*a*c^6))^(1/3)*arctan(-1/3*((1/2)^(5/6)*(sqrt(3)*(b^6*c^5 - 10*a*b^4*c^6 + 32*a^2*b^2*c^7 - 32*a^3*c^
8)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*
a^2*b^2*c^12 - 64*a^3*c^13)) - sqrt(3)*(b^8 - 9*a*b^6*c + 25*a^2*b^4*c^2 - 20*a^3*b^2*c^3))*((b^4 - 3*a*b^2*c
+ a^2*c^2 + (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b
^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*c^5 - 4*a*c^6))^(1/3)*sqrt((2*(a^3*b^5 - 5*a^4
*b^3*c + 5*a^5*b*c^2)*x^2 + (1/2)^(2/3)*((b^8*c^5 - 13*a*b^6*c^6 + 60*a^2*b^4*c^7 - 112*a^3*b^2*c^8 + 64*a^4*c
^9)*x*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 +
48*a^2*b^2*c^12 - 64*a^3*c^13)) - (b^10 - 12*a*b^8*c + 52*a^2*b^6*c^2 - 95*a^3*b^4*c^3 + 60*a^4*b^2*c^4)*x)*((
b^4 - 3*a*b^2*c + a^2*c^2 + (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25
*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*c^5 - 4*a*c^6))^(2/3) - (1/2)^
(1/3)*(a^2*b^7 - 9*a^3*b^5*c + 25*a^4*b^3*c^2 - 20*a^5*b*c^3 - (a^2*b^5*c^5 - 8*a^3*b^3*c^6 + 16*a^4*b*c^7)*sq
rt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b
^2*c^12 - 64*a^3*c^13)))*((b^4 - 3*a*b^2*c + a^2*c^2 + (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^
6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*c^5
- 4*a*c^6))^(1/3))/(a^3*b^5 - 5*a^4*b^3*c + 5*a^5*b*c^2)) - (1/2)^(1/3)*(sqrt(3)*(b^6*c^5 - 10*a*b^4*c^6 + 32
*a^2*b^2*c^7 - 32*a^3*c^8)*x*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*
c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)) - sqrt(3)*(b^8 - 9*a*b^6*c + 25*a^2*b^4*c^2 - 20*a^3*b^
2*c^3)*x)*((b^4 - 3*a*b^2*c + a^2*c^2 + (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*
b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*c^5 - 4*a*c^6))^(1
/3) + sqrt(3)*(a^2*b^5 - 5*a^3*b^3*c + 5*a^4*b*c^2))/(a^2*b^5 - 5*a^3*b^3*c + 5*a^4*b*c^2)) - 4*sqrt(3)*(1/2)^
(1/3)*c*((b^4 - 3*a*b^2*c + a^2*c^2 - (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^
4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*c^5 - 4*a*c^6))^(1/3
)*arctan(-1/3*((1/2)^(5/6)*(sqrt(3)*(b^6*c^5 - 10*a*b^4*c^6 + 32*a^2*b^2*c^7 - 32*a^3*c^8)*sqrt((b^10 - 10*a*b
^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*
c^13)) + sqrt(3)*(b^8 - 9*a*b^6*c + 25*a^2*b^4*c^2 - 20*a^3*b^2*c^3))*((b^4 - 3*a*b^2*c + a^2*c^2 - (b^2*c^5 -
4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^1
1 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*c^5 - 4*a*c^6))^(1/3)*sqrt((2*(a^3*b^5 - 5*a^4*b^3*c + 5*a^5*b*c^2)*
x^2 - (1/2)^(2/3)*((b^8*c^5 - 13*a*b^6*c^6 + 60*a^2*b^4*c^7 - 112*a^3*b^2*c^8 + 64*a^4*c^9)*x*sqrt((b^10 - 10*
a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a
^3*c^13)) + (b^10 - 12*a*b^8*c + 52*a^2*b^6*c^2 - 95*a^3*b^4*c^3 + 60*a^4*b^2*c^4)*x)*((b^4 - 3*a*b^2*c + a^2*
c^2 - (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^1
0 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*c^5 - 4*a*c^6))^(2/3) - (1/2)^(1/3)*(a^2*b^7 - 9*a^3
*b^5*c + 25*a^4*b^3*c^2 - 20*a^5*b*c^3 + (a^2*b^5*c^5 - 8*a^3*b^3*c^6 + 16*a^4*b*c^7)*sqrt((b^10 - 10*a*b^8*c
+ 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)
))*((b^4 - 3*a*b^2*c + a^2*c^2 - (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3
+ 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*c^5 - 4*a*c^6))^(1/3))/(a
^3*b^5 - 5*a^4*b^3*c + 5*a^5*b*c^2)) - (1/2)^(1/3)*(sqrt(3)*(b^6*c^5 - 10*a*b^4*c^6 + 32*a^2*b^2*c^7 - 32*a^3*
c^8)*x*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 +
48*a^2*b^2*c^12 - 64*a^3*c^13)) + sqrt(3)*(b^8 - 9*a*b^6*c + 25*a^2*b^4*c^2 - 20*a^3*b^2*c^3)*x)*((b^4 - 3*a*
b^2*c + a^2*c^2 - (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c
^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*c^5 - 4*a*c^6))^(1/3) - sqrt(3)*(a^2*b^5
- 5*a^3*b^3*c + 5*a^4*b*c^2))/(a^2*b^5 - 5*a^3*b^3*c + 5*a^4*b*c^2)) + (1/2)^(1/3)*c*((b^4 - 3*a*b^2*c + a^2*
c^2 + (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^1
0 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*c^5 - 4*a*c^6))^(1/3)*log(2*(a^3*b^5 - 5*a^4*b^3*c +
5*a^5*b*c^2)*x^2 + (1/2)^(2/3)*((b^8*c^5 - 13*a*b^6*c^6 + 60*a^2*b^4*c^7 - 112*a^3*b^2*c^8 + 64*a^4*c^9)*x*sq
rt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b
^2*c^12 - 64*a^3*c^13)) - (b^10 - 12*a*b^8*c + 52*a^2*b^6*c^2 - 95*a^3*b^4*c^3 + 60*a^4*b^2*c^4)*x)*((b^4 - 3*
a*b^2*c + a^2*c^2 + (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2
*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*c^5 - 4*a*c^6))^(2/3) - (1/2)^(1/3)*(a
^2*b^7 - 9*a^3*b^5*c + 25*a^4*b^3*c^2 - 20*a^5*b*c^3 - (a^2*b^5*c^5 - 8*a^3*b^3*c^6 + 16*a^4*b*c^7)*sqrt((b^10
- 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12
- 64*a^3*c^13)))*((b^4 - 3*a*b^2*c + a^2*c^2 + (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 -
50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*c^5 - 4*a*c
^6))^(1/3)) + (1/2)^(1/3)*c*((b^4 - 3*a*b^2*c + a^2*c^2 - (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2
*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*
c^5 - 4*a*c^6))^(1/3)*log(2*(a^3*b^5 - 5*a^4*b^3*c + 5*a^5*b*c^2)*x^2 - (1/2)^(2/3)*((b^8*c^5 - 13*a*b^6*c^6 +
60*a^2*b^4*c^7 - 112*a^3*b^2*c^8 + 64*a^4*c^9)*x*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 +
25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)) + (b^10 - 12*a*b^8*c + 52*a^2*b^6*
c^2 - 95*a^3*b^4*c^3 + 60*a^4*b^2*c^4)*x)*((b^4 - 3*a*b^2*c + a^2*c^2 - (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*a*
b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3
*c^13)))/(b^2*c^5 - 4*a*c^6))^(2/3) - (1/2)^(1/3)*(a^2*b^7 - 9*a^3*b^5*c + 25*a^4*b^3*c^2 - 20*a^5*b*c^3 + (a^
2*b^5*c^5 - 8*a^3*b^3*c^6 + 16*a^4*b*c^7)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b
^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))*((b^4 - 3*a*b^2*c + a^2*c^2 - (b^2*c^5 -
4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11
+ 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*c^5 - 4*a*c^6))^(1/3)) - 2*(1/2)^(1/3)*c*((b^4 - 3*a*b^2*c + a^2*c^2
+ (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 -
12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*c^5 - 4*a*c^6))^(1/3)*log((1/2)^(2/3)*(b^10 - 12*a*b^8*c
+ 52*a^2*b^6*c^2 - 95*a^3*b^4*c^3 + 60*a^4*b^2*c^4 - (b^8*c^5 - 13*a*b^6*c^6 + 60*a^2*b^4*c^7 - 112*a^3*b^2*c
^8 + 64*a^4*c^9)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*
b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))*((b^4 - 3*a*b^2*c + a^2*c^2 + (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*
a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a
^3*c^13)))/(b^2*c^5 - 4*a*c^6))^(2/3) + 2*(a^3*b^5 - 5*a^4*b^3*c + 5*a^5*b*c^2)*x) - 2*(1/2)^(1/3)*c*((b^4 - 3
*a*b^2*c + a^2*c^2 - (b^2*c^5 - 4*a*c^6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^
2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*c^5 - 4*a*c^6))^(1/3)*log((1/2)^(2/3)
*(b^10 - 12*a*b^8*c + 52*a^2*b^6*c^2 - 95*a^3*b^4*c^3 + 60*a^4*b^2*c^4 + (b^8*c^5 - 13*a*b^6*c^6 + 60*a^2*b^4*
c^7 - 112*a^3*b^2*c^8 + 64*a^4*c^9)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4
)/(b^6*c^10 - 12*a*b^4*c^11 + 48*a^2*b^2*c^12 - 64*a^3*c^13)))*((b^4 - 3*a*b^2*c + a^2*c^2 - (b^2*c^5 - 4*a*c^
6)*sqrt((b^10 - 10*a*b^8*c + 35*a^2*b^6*c^2 - 50*a^3*b^4*c^3 + 25*a^4*b^2*c^4)/(b^6*c^10 - 12*a*b^4*c^11 + 48*
a^2*b^2*c^12 - 64*a^3*c^13)))/(b^2*c^5 - 4*a*c^6))^(2/3) + 2*(a^3*b^5 - 5*a^4*b^3*c + 5*a^5*b*c^2)*x) - 3*x^2)
/c

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {x^{7}}{c x^{6} + b x^{3} + a}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(x^7/(c*x^6+b*x^3+a),x, algorithm="giac")

[Out]

integrate(x^7/(c*x^6 + b*x^3 + a), x)

________________________________________________________________________________________

maple [C]  time = 0.14, size = 61, normalized size = 0.10 \[ \frac {x^{2}}{2 c}-\frac {\left (\RootOf \left (c \,\textit {\_Z}^{6}+b \,\textit {\_Z}^{3}+a \right )^{4} b +\RootOf \left (c \,\textit {\_Z}^{6}+b \,\textit {\_Z}^{3}+a \right ) a \right ) \ln \left (-\RootOf \left (c \,\textit {\_Z}^{6}+b \,\textit {\_Z}^{3}+a \right )+x \right )}{3 c \left (2 \RootOf \left (c \,\textit {\_Z}^{6}+b \,\textit {\_Z}^{3}+a \right )^{5} c +\RootOf \left (c \,\textit {\_Z}^{6}+b \,\textit {\_Z}^{3}+a \right )^{2} b \right )} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(x^7/(c*x^6+b*x^3+a),x)

[Out]

1/2*x^2/c-1/3/c*sum((_R^4*b+_R*a)/(2*_R^5*c+_R^2*b)*ln(x-_R),_R=RootOf(_Z^6*c+_Z^3*b+a))

________________________________________________________________________________________

maxima [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \frac {x^{2}}{2 \, c} - \frac {\int \frac {b x^{4} + a x}{c x^{6} + b x^{3} + a}\,{d x}}{c} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(x^7/(c*x^6+b*x^3+a),x, algorithm="maxima")

[Out]

1/2*x^2/c - integrate((b*x^4 + a*x)/(c*x^6 + b*x^3 + a), x)/c

________________________________________________________________________________________

mupad [B]  time = 12.15, size = 4069, normalized size = 6.40 \[ \text {result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(x^7/(a + b*x^3 + c*x^6),x)

[Out]

log((2^(1/3)*((2^(2/3)*(27*a^2*c*x*(b^4 + 8*a^2*c^2 - 6*a*b^2*c) + (27*2^(1/3)*a*b*c^3*(4*a*c - b^2)^2*(-(b^8
+ 16*a^4*c^4 + b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c + 5*a^2*b*c^2*(-(4*
a*c - b^2)^3)^(1/2) - 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))/(c^5*(4*a*c - b^2)^3))^(2/3))/2)*(-(b^8 + 16*a^4*c^4
+ b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c + 5*a^2*b*c^2*(-(4*a*c - b^2)^3
)^(1/2) - 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))/(c^5*(4*a*c - b^2)^3))^(1/3))/6 - (9*a*b*(b^6 - 12*a^3*c^3 + 19*
a^2*b^2*c^2 - 8*a*b^4*c))/c^2)*(-(b^8 + 16*a^4*c^4 + b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*a^3*b^
2*c^3 - 11*a*b^6*c + 5*a^2*b*c^2*(-(4*a*c - b^2)^3)^(1/2) - 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))/(c^5*(4*a*c -
b^2)^3))^(2/3))/18 + (a^4*x*(a*c - b^2))/c^2)*(-(b^8 + 16*a^4*c^4 + b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*
c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c + 5*a^2*b*c^2*(-(4*a*c - b^2)^3)^(1/2) - 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))
/(54*(64*a^3*c^8 - b^6*c^5 + 12*a*b^4*c^6 - 48*a^2*b^2*c^7)))^(1/3) + log((2^(1/3)*((2^(2/3)*(27*a^2*c*x*(b^4
+ 8*a^2*c^2 - 6*a*b^2*c) + (27*2^(1/3)*a*b*c^3*(4*a*c - b^2)^2*(-(b^8 + 16*a^4*c^4 - b^5*(-(4*a*c - b^2)^3)^(1
/2) + 41*a^2*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c - 5*a^2*b*c^2*(-(4*a*c - b^2)^3)^(1/2) + 5*a*b^3*c*(-(4*a*c
- b^2)^3)^(1/2))/(c^5*(4*a*c - b^2)^3))^(2/3))/2)*(-(b^8 + 16*a^4*c^4 - b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2
*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c - 5*a^2*b*c^2*(-(4*a*c - b^2)^3)^(1/2) + 5*a*b^3*c*(-(4*a*c - b^2)^3)^(
1/2))/(c^5*(4*a*c - b^2)^3))^(1/3))/6 - (9*a*b*(b^6 - 12*a^3*c^3 + 19*a^2*b^2*c^2 - 8*a*b^4*c))/c^2)*(-(b^8 +
16*a^4*c^4 - b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c - 5*a^2*b*c^2*(-(4*a*
c - b^2)^3)^(1/2) + 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))/(c^5*(4*a*c - b^2)^3))^(2/3))/18 + (a^4*x*(a*c - b^2))
/c^2)*(-(b^8 + 16*a^4*c^4 - b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c - 5*a^
2*b*c^2*(-(4*a*c - b^2)^3)^(1/2) + 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))/(54*(64*a^3*c^8 - b^6*c^5 + 12*a*b^4*c^
6 - 48*a^2*b^2*c^7)))^(1/3) + x^2/(2*c) - log((a^4*x*(a*c - b^2))/c^2 - (2^(1/3)*(3^(1/2)*1i - 1)*((2^(2/3)*(3
^(1/2)*1i + 1)*(27*a^2*c*x*(b^4 + 8*a^2*c^2 - 6*a*b^2*c) + (27*2^(1/3)*a*b*c^3*(3^(1/2)*1i - 1)*(4*a*c - b^2)^
2*(-(b^8 + 16*a^4*c^4 + b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c + 5*a^2*b*
c^2*(-(4*a*c - b^2)^3)^(1/2) - 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))/(c^5*(4*a*c - b^2)^3))^(2/3))/4)*(-(b^8 + 1
6*a^4*c^4 + b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c + 5*a^2*b*c^2*(-(4*a*c
- b^2)^3)^(1/2) - 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))/(c^5*(4*a*c - b^2)^3))^(1/3))/12 + (9*a*b*(b^6 - 12*a^3
*c^3 + 19*a^2*b^2*c^2 - 8*a*b^4*c))/c^2)*(-(b^8 + 16*a^4*c^4 + b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*c^2 -
56*a^3*b^2*c^3 - 11*a*b^6*c + 5*a^2*b*c^2*(-(4*a*c - b^2)^3)^(1/2) - 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))/(c^5
*(4*a*c - b^2)^3))^(2/3))/36)*((3^(1/2)*1i)/2 + 1/2)*(-(b^8 + 16*a^4*c^4 + b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a
^2*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c + 5*a^2*b*c^2*(-(4*a*c - b^2)^3)^(1/2) - 5*a*b^3*c*(-(4*a*c - b^2)^3)
^(1/2))/(54*(64*a^3*c^8 - b^6*c^5 + 12*a*b^4*c^6 - 48*a^2*b^2*c^7)))^(1/3) + log((a^4*x*(a*c - b^2))/c^2 - (2^
(1/3)*(3^(1/2)*1i + 1)*((2^(2/3)*(3^(1/2)*1i - 1)*(27*a^2*c*x*(b^4 + 8*a^2*c^2 - 6*a*b^2*c) - (27*2^(1/3)*a*b*
c^3*(3^(1/2)*1i + 1)*(4*a*c - b^2)^2*(-(b^8 + 16*a^4*c^4 + b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*
a^3*b^2*c^3 - 11*a*b^6*c + 5*a^2*b*c^2*(-(4*a*c - b^2)^3)^(1/2) - 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))/(c^5*(4*
a*c - b^2)^3))^(2/3))/4)*(-(b^8 + 16*a^4*c^4 + b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*a^3*b^2*c^3
- 11*a*b^6*c + 5*a^2*b*c^2*(-(4*a*c - b^2)^3)^(1/2) - 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))/(c^5*(4*a*c - b^2)^3
))^(1/3))/12 - (9*a*b*(b^6 - 12*a^3*c^3 + 19*a^2*b^2*c^2 - 8*a*b^4*c))/c^2)*(-(b^8 + 16*a^4*c^4 + b^5*(-(4*a*c
- b^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c + 5*a^2*b*c^2*(-(4*a*c - b^2)^3)^(1/2) - 5*a*b
^3*c*(-(4*a*c - b^2)^3)^(1/2))/(c^5*(4*a*c - b^2)^3))^(2/3))/36)*((3^(1/2)*1i)/2 - 1/2)*(-(b^8 + 16*a^4*c^4 +
b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c + 5*a^2*b*c^2*(-(4*a*c - b^2)^3)^(
1/2) - 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))/(54*(64*a^3*c^8 - b^6*c^5 + 12*a*b^4*c^6 - 48*a^2*b^2*c^7)))^(1/3)
- log((a^4*x*(a*c - b^2))/c^2 - (2^(1/3)*(3^(1/2)*1i - 1)*((2^(2/3)*(3^(1/2)*1i + 1)*(27*a^2*c*x*(b^4 + 8*a^2*
c^2 - 6*a*b^2*c) + (27*2^(1/3)*a*b*c^3*(3^(1/2)*1i - 1)*(4*a*c - b^2)^2*(-(b^8 + 16*a^4*c^4 - b^5*(-(4*a*c - b
^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c - 5*a^2*b*c^2*(-(4*a*c - b^2)^3)^(1/2) + 5*a*b^3*c
*(-(4*a*c - b^2)^3)^(1/2))/(c^5*(4*a*c - b^2)^3))^(2/3))/4)*(-(b^8 + 16*a^4*c^4 - b^5*(-(4*a*c - b^2)^3)^(1/2)
+ 41*a^2*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c - 5*a^2*b*c^2*(-(4*a*c - b^2)^3)^(1/2) + 5*a*b^3*c*(-(4*a*c -
b^2)^3)^(1/2))/(c^5*(4*a*c - b^2)^3))^(1/3))/12 + (9*a*b*(b^6 - 12*a^3*c^3 + 19*a^2*b^2*c^2 - 8*a*b^4*c))/c^2)
*(-(b^8 + 16*a^4*c^4 - b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c - 5*a^2*b*c
^2*(-(4*a*c - b^2)^3)^(1/2) + 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))/(c^5*(4*a*c - b^2)^3))^(2/3))/36)*((3^(1/2)*
1i)/2 + 1/2)*(-(b^8 + 16*a^4*c^4 - b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c
- 5*a^2*b*c^2*(-(4*a*c - b^2)^3)^(1/2) + 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))/(54*(64*a^3*c^8 - b^6*c^5 + 12*a
*b^4*c^6 - 48*a^2*b^2*c^7)))^(1/3) + log((a^4*x*(a*c - b^2))/c^2 - (2^(1/3)*(3^(1/2)*1i + 1)*((2^(2/3)*(3^(1/2
)*1i - 1)*(27*a^2*c*x*(b^4 + 8*a^2*c^2 - 6*a*b^2*c) - (27*2^(1/3)*a*b*c^3*(3^(1/2)*1i + 1)*(4*a*c - b^2)^2*(-(
b^8 + 16*a^4*c^4 - b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c - 5*a^2*b*c^2*(
-(4*a*c - b^2)^3)^(1/2) + 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))/(c^5*(4*a*c - b^2)^3))^(2/3))/4)*(-(b^8 + 16*a^4
*c^4 - b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c - 5*a^2*b*c^2*(-(4*a*c - b^
2)^3)^(1/2) + 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))/(c^5*(4*a*c - b^2)^3))^(1/3))/12 - (9*a*b*(b^6 - 12*a^3*c^3
+ 19*a^2*b^2*c^2 - 8*a*b^4*c))/c^2)*(-(b^8 + 16*a^4*c^4 - b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^4*c^2 - 56*a
^3*b^2*c^3 - 11*a*b^6*c - 5*a^2*b*c^2*(-(4*a*c - b^2)^3)^(1/2) + 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2))/(c^5*(4*a
*c - b^2)^3))^(2/3))/36)*((3^(1/2)*1i)/2 - 1/2)*(-(b^8 + 16*a^4*c^4 - b^5*(-(4*a*c - b^2)^3)^(1/2) + 41*a^2*b^
4*c^2 - 56*a^3*b^2*c^3 - 11*a*b^6*c - 5*a^2*b*c^2*(-(4*a*c - b^2)^3)^(1/2) + 5*a*b^3*c*(-(4*a*c - b^2)^3)^(1/2
))/(54*(64*a^3*c^8 - b^6*c^5 + 12*a*b^4*c^6 - 48*a^2*b^2*c^7)))^(1/3)

________________________________________________________________________________________

sympy [A]  time = 14.58, size = 279, normalized size = 0.44 \[ \operatorname {RootSum} {\left (t^{6} \left (46656 a^{3} c^{8} - 34992 a^{2} b^{2} c^{7} + 8748 a b^{4} c^{6} - 729 b^{6} c^{5}\right ) + t^{3} \left (432 a^{4} c^{4} - 1512 a^{3} b^{2} c^{3} + 1107 a^{2} b^{4} c^{2} - 297 a b^{6} c + 27 b^{8}\right ) + a^{5}, \left (t \mapsto t \log {\left (x + \frac {- 15552 t^{5} a^{4} c^{9} + 27216 t^{5} a^{3} b^{2} c^{8} - 14580 t^{5} a^{2} b^{4} c^{7} + 3159 t^{5} a b^{6} c^{6} - 243 t^{5} b^{8} c^{5} - 72 t^{2} a^{5} c^{5} + 594 t^{2} a^{4} b^{2} c^{4} - 864 t^{2} a^{3} b^{4} c^{3} + 468 t^{2} a^{2} b^{6} c^{2} - 108 t^{2} a b^{8} c + 9 t^{2} b^{10}}{5 a^{5} b c^{2} - 5 a^{4} b^{3} c + a^{3} b^{5}} \right )} \right )\right )} + \frac {x^{2}}{2 c} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(x**7/(c*x**6+b*x**3+a),x)

[Out]

RootSum(_t**6*(46656*a**3*c**8 - 34992*a**2*b**2*c**7 + 8748*a*b**4*c**6 - 729*b**6*c**5) + _t**3*(432*a**4*c*
*4 - 1512*a**3*b**2*c**3 + 1107*a**2*b**4*c**2 - 297*a*b**6*c + 27*b**8) + a**5, Lambda(_t, _t*log(x + (-15552
*_t**5*a**4*c**9 + 27216*_t**5*a**3*b**2*c**8 - 14580*_t**5*a**2*b**4*c**7 + 3159*_t**5*a*b**6*c**6 - 243*_t**
5*b**8*c**5 - 72*_t**2*a**5*c**5 + 594*_t**2*a**4*b**2*c**4 - 864*_t**2*a**3*b**4*c**3 + 468*_t**2*a**2*b**6*c
**2 - 108*_t**2*a*b**8*c + 9*_t**2*b**10)/(5*a**5*b*c**2 - 5*a**4*b**3*c + a**3*b**5)))) + x**2/(2*c)

________________________________________________________________________________________